Nuprl Definition : dsys 11,40

Dsys == IdMsgA 
latex



clarification:

dsys{i:l} == Idmsga{i:l} 
latex


Definitionsx:AB(x), Id, MsgA
FDL editor aliasesdsys

origin